(第1空)软件测试一般分为两个大类:动态测试和静态测试。前者通过运行程序发现错误,包括( )等方法；后者采用人工和计算机辅助静态分析的手段对程序进行检测，包括( )等方法。